perm filename CSDDIS.PRO[F76,JMC]3 blob
sn#249277 filedate 1976-11-11 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00011 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .device xgp sides←1
C00004 00003 .onecol << cover >>
C00005 00004 .next page << title >>
C00008 00005 .insert contents
C00017 00006 .app "Personnel"
C00057 00007 Biography of John McCarthy
C00064 00008 .app Current Support
C00066 00009 .app Relevant Experience
C00067 00010 .app Facilities
C00068 00011 . << budget >>
C00069 ENDMK
C⊗;
.device xgp; sides←1;
.require "bask.pub[sub,sys]" source;
.font 5 "sup";
.font 6 "gacb25";
.font 7 "metlb";
.require "twocol.pub[sub,sys]" source;
.
.every heading(,,);
.
.count item;
.at "#" ⊂next item; item!⊃;
.onecol << cover >>
.group skip 7;
.begin center select 7
A DISPLAY SYSTEM
FOR THE
STANFORD UNIVERSITY
COMPUTER SCIENCE DEPARTMENT
%3proposal submitted to
.select 7;
National Science Foundation
.select 3;
Washington, D.C. 20550
by
Computer Science Department
%7Stanford University
%3Stanford, California 94305
%7November 1976
.end
.next page; << title >>
.BEGIN NOFILL; PREFACE 0; INDENT 0
.TABS 35; turn on "⊗" for "%";
.TURN ON "\↓_"
.AT "≤≤" TXT "≥" ⊂ }↓_⊗6TXT⊗*_↓{ ⊃
.SELECT 1
.ONCE CENTER; SELECT 3
Research Proposal Submitted to the National Science Foundation
.SKIP 2
.select 1
Proposed Amount ≤≤$$$$$$$≥ Proposed Effective Date ≤≤???????????≥ Proposed Duration ≤≤???months≥
.SKIP 1
Title ≤≤A Display System for the Stanford University Computer Science Department≥
.skip 1
Principal Investigator:\Submitting Institution:
≤≤Professor Edward Feigenbaum≥\ ≤≤Stanford University≥
Soc. Sec. No. ≤≤137-26-8264≥\ Department ≤≤Computer Science Department≥
\ Branch ≤≤School of Humanities and Sciences≥
.skip 4
Make grant to ≤≤ Leland Stanford Junior University ≥
.skip 5
Endorsements:
.tabs 10,34,58
.SKIP 1
\Principal Investigator\Department Head\Institutional Admin. Official
.PREFACE 1
Name\≤≤Edward Feigenbaum ≥\≤≤Edward A. Feigenbaum ≥\≤≤ ≥
.SKIP 1
Signature\≤≤ ≥\≤≤ ≥\≤≤ ≥
Title\≤≤ Professor ≥\≤≤Professor & Chairman ≥\≤≤ ≥
Telephone\≤≤(415) 497-4430 ≥\≤≤(415) 497-4878 ≥\≤≤ ≥
Date\≤≤ ≥\≤≤ ≥\≤≤ ≥
.END
.insert contents;
.COUNT PAGE;
.every heading(Display Proposal,,{PAGE!})
.twocol;portion some;place text
.s Purpose
This is a request for a grant of xxx in partial support of
of a display system for the Stanford University
Computer Science Department.
The system will be used about 80 percent for research and 20 percent
for educational computing by graduate students in computer science.
We propose to pay the educational part ourselves. The 80-20 estimate
is based on the fact that the department uses other facilities that
have terminal systems for its classes.
Department members have current access to five major time-sharing
computers on the Stanford Campus and others elsewhere. The Campus
computers include the IBM 370/168 operated by the Stanford Center
for Information Processing, the DECSystem 10s operated by the
Stanford Artificial Intelligence Laboratory, the Institute for
Mathematics in the Social Sciences, the SUMEX system for
artificial intelligence in medicine, and the DECSystem 20 operated
by the LOTS low overhead time-sharing system for instructional use.
Of course, these different facilities are available for
different purposes and under different conditions. Therefore,
we have long felt the need for a Departmental terminal system
which would give faculty and graduate students access to all
these computers and any others that may be important.
The following are the general specifications of the proposed
terminal system:
.item ←0;
#. Each office contains a display terminal that can put
up text and graphics. Faculty and students work in their offices,
and we find that adequate facilities in a separate terminal room
are very expensive if there is to be space for books and papers.
Private carrels are virtually a requirement.
The graphics requirement might be omitted for some users, but we
have found an inexpensive implementation that also provides it.
#. The system includes a line printer with graphics capability.
This permits the publication of high quality reports, papers,
class notes, and theses, using editors and publication programs maintained on
the various time-shared computers.
#. A minicomputer maintains the displays and the
communication with the host computers.
#. Telephone dialers on the system will permit use
of other computers.
.s IMPLEMENTATION PLANS
The system contains four major components: the displays,
the minicomputer that maintains the displays and carries out the
communication, the printer, and the communication facilities.
.ss Displays
We plan a system analogous to those in use at the M.I.T. Artificial
Intelligence Laboratory and at the Yale Computer Science Department and
somewhat similar to the older system in use at the Stanford Artificial
Intelligence Laboratory. In these systems, a 512 by 512 array of bits in
integrated circuit memory represents each user's display image. The
memories are addressable by the minicomputer as 16,384 words of 16 bits,
and characters and pictures are written in the display image just by
writing their bits in memory. The major difference from the earlier
systems is that while they are based on 1024 bits per integrated circuit,
our new system uses 16,384 bits per IC. A prototype board using the 16K
chips has been designed and built by the Stanford Artificial Intelligence
Laboratory and is now being tested. As of October 1976, the board works
but has a few marginalities that are being fixed. The 16K chips were
available only in sample quantities - enough for one board - at that time,
but they are expected to be available at a price of about α$15.00 early in
1977.
The advantage of the system is cheapness; we expect a per board cost
of α$600 and an additional cost-per-terminal of about $500 for keyboard,
monitor, cabling, and input multiplexor. This will enable us to put a
terminal in each office without worrying about the fact that each terminal
may have a low duty cycle.
.ss Minicomputer
The task will require a computer equivalent to a PDP-11/45 with 48K
words of memory in addition to the 16K associated with each terminal.
.ss Printer
We plan to use a Xerox yyy printer. This is an improved version of
the Xerox Graphics Printer in use at the Stanford AI Lab and many other
ARPAnet installations. It permits the production of report quality
documents including illustrations.
.ss Communications.
We include communication lines to the five afore-mentioned
Stanford computers as well as zzz
Telenet? TRAN?
.skip to column 1
.s Relevant Experience
Similar display facilities have been operated at the Stanford AI Lab
since 1971. Having terminals in every office has proved a real winner in
normalizing the use of computers. The AI Lab has already completed the
design of the memory board for its own expansion plans. There is also
experience in the design and interfacing of computer systems.
The communications and network experience is available in the Digital
Systems Laboratory. Blah, Blah Blah.
.app "Personnel"
EDWARD A.FEIGENBAUM October 14, 1976
Computer Science Department
Stanford University
Stanford, California
Age: 40
EDUCATION
Ph.D., Doctoral program in the Behavioral Sciences, Graduate School
of Industrial Administration, Carnegie Institute of Technology,
Pittsburgh, Pennsylvania, September, 1959.
B.S., Electrical Engineering, Carnegie Institute of Technology, 1956.
EXPERIENCE
Stanford University, Stanford, California
Chairman, Computer Science Department, 1976 -
Professor of Computer Science, 1969-
Associate Professor of Computer Science, 1965-68
Director, Stanford Computation Center, 1965-68
University of California, Berkeley
Associate Professor, School of Business Administration, 1964
Assistant Professor, School of Business Administration, 1960-63
Research Appointment, Center for Human Learning, 1961-64
Research Appointment, Center for Research in Management Science,
1960-64
Editor, Computer Science Series, McGraw-Hill Book Company, New York,
1965-
Member, Computer and Biomathematical Sciences Study Section, National
Institutes of Health, Bethesda, Md., 1968-72.
PROFESSIONAL SOCIETIES
American Psychological Association, American Association for the
Advancement of Science, Association for Computing Machinery (member
of National Council of ACM, 1966-68)
BOOKS AND MONOGRAPHS
Computers and Thought, co-editor with Julian Feldman, McGraw-Hill,
1963.
Information Processing Language V Manual, Englewood Cliffs, N.J.,
Prentice-Hall, 1961 (with A. Newell, F. Tonge, G. Mealy, et.al.).
An Information Processing Theory of Verbal Learning, Santa Monica,
The RAND Corporation Paper P-1817, October 1959 (Monograph).
PAPERS, 1965-72
This list is organized by topic.
Heuristic DENDRAL Project
(1) J. Lederberg and E. A. Feigenbaum, "Mechanization of Inductive
Inference in Organic Chemistry", in B. Kleinmuntz (ed), Formal
Representations for Human Judgment, (Wiley, 1968). (Also Stanford
Artificial Intelligence Project Memo No. 54, August 1967).
(2) E. A. Feigenbaum and B. G. Buchanan, "Heuristic DENDRAL: A
Program for Generating Explanatory Hypotheses in Organic Chemistry",
in Proceedings, Hawaii International Conference on System Sciences,
B. K. Kinariwala and F. F. Kuo (eds), University of Hawaii Press, 1968.
(3) B. G. Buchanan, G. L. Sutherland, and E. A. Feigenbaum, "Heuristic
DENDRAL: A Program for Generating Explanatory Hypotheses in Organic
Chemistry". In Machine Intelligence 4 (B. Meltzer and D. Michie, eds)
Edinburgh University Press (1969). (Also Stanford Artificial
Intelligence Project Memo No. 62, July 1968.)
(4) E. A. Feigenbaum, "Artificial Intelligence: Themes in the
Second Decade". In Final Supplement to Proceedings of the IFIP 68
International Congress, Edinburgh, August 1968. (Also Stanford
Artificial Intelligence Project Memo No. 67, August 1968.)
(5) J. Lederberg, G. L. Sutherland, B. G. Buchanan, E. A. Feigenbaum,
A. V. Robertson, A. M. Duffield, and C. Djerassi, "Applications of
Artificial Intelligence for Chemical Inference I. The Number of
Possible Organic Compounds: Acyclic Structures Containing C, H, O
and N". Journal of the American Chemical Society, 91:11 (May 21,
1969).
(6) A. M. Duffield, A. V. Robertson, C. Djerassi, B. G. Buchanan,
G. L. Sutherland, E. A. Feigenbaum, and J. Lederberg, "Applications
of Artificial Intelligence for Chemical Inference II. Interpretation
of Low Resolution Mass Spectra of Ketones". Journal of the American
Chemical Society, 91:11 (May 21, 1969).
(7) B. G. Buchanan, G. L. Sutherland, E. A. Feigenbaum, "Toward an
Understanding of Information Processes of Scientific Inference in
the Context of Organic Chemistry", in Machine Intelligence 5,
(B. Meltzer and D. Michie, eds) Edinburgh University Press (1970).
(Also Stanford Artificial Intelligence Project Memo No. 99, September
1969.)
(8) J. Lederberg, G. L. Sutherland, B. G. Buchanan, and E. A.
Feigenbaum, "A Heuristic Program for Solving a Scientific Inference
Problem: Summary of Motivation and Implementation", Stanford
Artificial Intelligence Project Memo No. 104, November, 1969.
(9) G. Schroll, A. M. Duffield, C. Djerassi, B. G. Buchanan, G. L.
Sutherland, E. A. Feigenbaum, and J. Lederberg, "Applications of
Artificial Intelligence for Chemical Inference III. Aliphatic Ethers
Diagnosed by Their Low Resolution Mass Spectra and NMR Data".
Journal of the American Chemical Society, 91:26 (December 17, 1969).
(10) A. Buchs, A. M. Duffield, G. Schroll, C. Djerassi, A. B. Delfino,
B. G. Buchanan, G. L. Sutherland, E. A. Feigenbaum, and J. Lederberg,
"Applications of Artificial Intelligence for Chemical Inference IV.
Saturated Amines Diagnosed by Their Low Resolution Mass Spectra and
Nuclear Magnetic Resonance Spectra", Journal of the American Chemical
Society, 92 (1970), 6831.
(11) Y. M. Sheikh, A. Buchs, A. B. Delfino, G. Schroll, A. M. Duffield,
C. Djerassi, B. G. Buchanan, G. L. Sutherland, E. A. Feigenbaum and
J. Lederberg, "Applications of Artificial Intelligence for Chemical
Inference V. An Approach to the Computer Generation of Cyclic
Structures. Differentiation Between All the Possible Isomeric
Ketones of Composition C6H100", Organic Mass Spectrometry, 4 (1970),
493.
(12) A. Buchs, A. B. Delfino, A. M. Duffield, C. Djerassi,
B. G. Buchanan, E. A. Feigenbaum and J. Lederberg, "Applications of
Artificial Intelligence for Chemical Inference VI. Approach to a
General Method of Interpreting Low Resolution Mass Spectra with a
Computer", Chem. Acta Helvetica, 53 (1970), 1394.
(13) E. A. Feigenbaum, B. G. Buchanan, and J. Lederberg, "On Generality
and Problem Solving: A Case Study Using the DENDRAL Program". In
Machine Intelligence 6 (B. Meltzer and D. Michie, eds.) Edinburgh
University Press (1971). (Also Stanford Artificial Intelligence
Project Memo No. 131.)
(14) A. Buchs, A. B. Delfino, C. Djerassi, A. M. Duffield,
B. G. Buchanan, E. A. Feigenbaum, J. Lederberg, G. Schroll, and
G. L. Sutherland, "The Application of Artificial Intelligence in the
Interpretation of Low-Resolution Mass Spectra", Advances in Mass
Spectrometry, 5, 314.
(15) B. G. Buchanan, E. A. Feigenbaum, and J. Lederberg, "A Heuristic
Programming Study of Theory Formation in Science." In proceedings of
the Second International Joint Conference on Artificial Intelligence,
Imperial College, London (September, 1971). (Also Stanford Artificial
Intelligence Project Memo No. 145.)
(16) D. H. Smith, B. G. Buchanan, R. S. Engelmore, A. M. Duffield,
A. Yeo, E. A. Feigenbaum, J. Lederberg, and C. Djerassi, "Applications
of Artificial Intelligence for Chemical Inference VIII. An Approach
to the Computer Interpretation of the High Resolution Mass Spectra of
Complex Molecules. Structure Elucidation of Estrogenic Steroids",
Journal of the American Chemical Society, 94 (1972), 5962-5971.
(17) B. G. Buchanan, E. A. Feigenbaum, and N. S. Sridharan, "Heuristic
Theory Formation: Data Interpretation and Rule Formation". In
Machine Intelligence 7, Edinburgh University Press (1973).
Information Processing Model Building in Psychology
(1) "Information Processing" in Readiness to Remember: Proceedings
of the Third Conference on Remembering, Learning, and Forgetting,
Gordon and Breach (1972).
(2) "Information Processing and Memory," Proceedings of the Fifth
Berkeley Symposium on Mathematical Statistics and Probability,
Volume 4 (Biology and Health), University of California Press, 1967.
Reprinted in Norman, D. (ed.) Models for Memory, Academic Press (1971).
IFIP Congresses
(1) Invited speech: "Artificial Intelligence: Themes in the Second
Decade." In Final Supplement to Proceedings of the IFIP 68 Congress,
Edinburgh, August, 1968. Also available as A.I. Project Working Paper
No. 67, August 1968.
(2) Report on Panel on the Mechanization of Creative Processes. In
Kalenich, W. (ed.), Proceedings of IFIP Congress 65, Volume 2, Spartan
Books, 1966, pp. 600-601.
Stanford Computation Center
"Computers at Stanford," (with N. Nielsen). In Stanford Annual
Financial Report Summary, Stanford University, November 1967.
Reprinted in IBM Computing Report, Vol. IV, No. 3 (May, 1968), 15-18.
Other
"Soviet Computer Science, Revisited." Proceedings of the 20th ACM
National Conference, August, 1965, pp. 225-226.
Papers, Pre-1965:
(1) "Memory Mechanisms and EPAM Theory: Monologue and Interchange
at the First Conference on Remembering, Learning and Forgetting,"
published in Kimble, D. (ed.), The Anatomy of Memory, Science and
Behavior Books, Palo Alto, 1965.
(2) "Studies in Information Processing Theory: Similarity and
Familiarity in Verbal Learning," The RAND Corp. RM-3979, Santa
Monica, Calif., February, 1964. Also appeared as, "An Information-
Processing Theory of Some Effects of Similarity, Familiarization, and
Meaningfulness in Verbal Behavior, Vol. 3, No. 5 (October 1964)(with
H. A. Simon).
(3) "Computer Simulation of Human Behavior," in Proceedings of the
1963 Midwest Human Factors Society Symposium on Human Factors and
Computers.
(4) "Experiments with the EPAM Simulation of Verbal Learning," in
Symposium on Simulation Models: Methodology and Applications to the
Behavioral Sciences. (A. Hoggatt and F. E. Balderston, eds.),
South-Western Publishing Company, Cincinnati, Ohio, 1963 (with
H. A. Simon).
(5) "Brief Notes on the EPAM Theory of Verbal Learning," Verbal
Behavior and Learning--Problems and Processes, McGraw-Hill, (Cofer
and Musgrave, eds.) (with H. A. Simon).
(6) "Artificial Intelligence," 1960-1962 Report to the 1963 Congress
of the International Scientific Radio Union. Also in IRE Transactions
on Information Theory, October 1963.
(7) "A Theory of the Serial Position Effect," British Journal of
Psychology, 53 (August 1962), 307-320 (with H. A. Simon).
(8) "An Experimental Course in Simulation of Cognitive Processes,"
Behavioral Science, 7 (April 1962).
(9) "Generalization of an Elementary Perceiving and Memorizing
Machine," The RAND Corp. Paper P-2555, March 1962. Also in Proceedings
of the Second International Congress on Information Processing,
Munich, Germany, 1962 (with H. A. Simon).
(10) "Soviet Cybernetics and Computer Science, 1960," Communications
of the Association for Computing Machinery, December 1961. Also in
Transactions of the IRE Professional Group on Electronic Computers,
December 1961.
(11) "Forgetting in an Association Memory," Preprints of the 1961
National Conference of the Association for Computing Machinery, 15
(September 1961) (with H. A. Simon).
(12) "The Distinctiveness of Stimuli," Psychological Review, 68
(July 1961), 285-288 (with H. A. Simon).
(13) "Performance of a Reading Task by an Elementary Perceiver and
Memorizer," The RAND Corp. Paper P-2358, July 1961. Also in
Behavioral Science, January 1963 (with H. A. Simon).
(14) "The Simulation of Verbal Learning Behavior," Proceedings of
the 1961 Western Joint Computer Conference, 19 (May 1961), 191-229.
(15) "Latent Motives, Group Discussion and the 'Quality' of Group
Decisions in a Nonobjective Decision Problem," Sociometry, 23 (March
1960), 50-57 (with J. March).
(16) "Models in a Behavioral Theory of the Firm," Behavioral
Science, 72 (April, 1959), 597-599 (with R. Cyert and J. March).
RESEARCH SUPPORT AND PENDING APPLICATIONS: Edward A. Feigenbaum
1. Agency: Advanced Research Projects Agency
Contract Number: DAHC-15-73-C-0435
Title of Contract: Heuristic Programming Project
Period of Contract: July 1975 to June 1977
Annual Budget Level: $200,000
Fraction of time committed: 40% Academic year; 90% Summer
2. Agency: National Institutes of Health
Grant Number: RR-00612-05A1
Title of Grant: Resource Related Research: Computers and Chemistry
Period of Grant: May 1, 1974, to April 30, 1977
Annual Budget Level: $276,197 (direct costs)
$368,292 (total award)
Fraction of time committed: 10%
3. Agency: National Science Foundation
Grant Number: DCR 74-23461
Title of Grant: Automation of Scientific Inference:
Heuristic Computing Applied to Protein Crystallography
Period of Grant: February 1975 to January 1977+6
Annual Budget Level: $62,825
Fraction of time committed: 20%
There are no pending applications for which Professor Feigenbaum has
committed his time.
EDWARD A.FEIGENBAUM October 14, 1976
Computer Science Department
Stanford University
Stanford, California
Age: 40
EDUCATION
Ph.D., Doctoral program in the Behavioral Sciences, Graduate School
of Industrial Administration, Carnegie Institute of Technology,
Pittsburgh, Pennsylvania, September, 1959.
B.S., Electrical Engineering, Carnegie Institute of Technology, 1956.
EXPERIENCE
Stanford University, Stanford, California
Chairman, Computer Science Department, 1976 -
Professor of Computer Science, 1969-
Associate Professor of Computer Science, 1965-68
Director, Stanford Computation Center, 1965-68
University of California, Berkeley
Associate Professor, School of Business Administration, 1964
Assistant Professor, School of Business Administration, 1960-63
Research Appointment, Center for Human Learning, 1961-64
Research Appointment, Center for Research in Management Science,
1960-64
Editor, Computer Science Series, McGraw-Hill Book Company, New York,
1965-
Member, Computer and Biomathematical Sciences Study Section, National
Institutes of Health, Bethesda, Md., 1968-72.
PROFESSIONAL SOCIETIES
American Psychological Association, American Association for the
Advancement of Science, Association for Computing Machinery (member
of National Council of ACM, 1966-68)
BOOKS AND MONOGRAPHS
Computers and Thought, co-editor with Julian Feldman, McGraw-Hill,
1963.
Information Processing Language V Manual, Englewood Cliffs, N.J.,
Prentice-Hall, 1961 (with A. Newell, F. Tonge, G. Mealy, et.al.).
An Information Processing Theory of Verbal Learning, Santa Monica,
The RAND Corporation Paper P-1817, October 1959 (Monograph).
PAPERS, 1965-72
This list is organized by topic.
Heuristic DENDRAL Project
(1) J. Lederberg and E. A. Feigenbaum, "Mechanization of Inductive
Inference in Organic Chemistry", in B. Kleinmuntz (ed), Formal
Representations for Human Judgment, (Wiley, 1968). (Also Stanford
Artificial Intelligence Project Memo No. 54, August 1967).
(2) E. A. Feigenbaum and B. G. Buchanan, "Heuristic DENDRAL: A
Program for Generating Explanatory Hypotheses in Organic Chemistry",
in Proceedings, Hawaii International Conference on System Sciences,
B. K. Kinariwala and F. F. Kuo (eds), University of Hawaii Press, 1968.
(3) B. G. Buchanan, G. L. Sutherland, and E. A. Feigenbaum, "Heuristic
DENDRAL: A Program for Generating Explanatory Hypotheses in Organic
Chemistry". In Machine Intelligence 4 (B. Meltzer and D. Michie, eds)
Edinburgh University Press (1969). (Also Stanford Artificial
Intelligence Project Memo No. 62, July 1968.)
(4) E. A. Feigenbaum, "Artificial Intelligence: Themes in the
Second Decade". In Final Supplement to Proceedings of the IFIP 68
International Congress, Edinburgh, August 1968. (Also Stanford
Artificial Intelligence Project Memo No. 67, August 1968.)
(5) J. Lederberg, G. L. Sutherland, B. G. Buchanan, E. A. Feigenbaum,
A. V. Robertson, A. M. Duffield, and C. Djerassi, "Applications of
Artificial Intelligence for Chemical Inference I. The Number of
Possible Organic Compounds: Acyclic Structures Containing C, H, O
and N". Journal of the American Chemical Society, 91:11 (May 21,
1969).
(6) A. M. Duffield, A. V. Robertson, C. Djerassi, B. G. Buchanan,
G. L. Sutherland, E. A. Feigenbaum, and J. Lederberg, "Applications
of Artificial Intelligence for Chemical Inference II. Interpretation
of Low Resolution Mass Spectra of Ketones". Journal of the American
Chemical Society, 91:11 (May 21, 1969).
(7) B. G. Buchanan, G. L. Sutherland, E. A. Feigenbaum, "Toward an
Understanding of Information Processes of Scientific Inference in
the Context of Organic Chemistry", in Machine Intelligence 5,
(B. Meltzer and D. Michie, eds) Edinburgh University Press (1970).
(Also Stanford Artificial Intelligence Project Memo No. 99, September
1969.)
(8) J. Lederberg, G. L. Sutherland, B. G. Buchanan, and E. A.
Feigenbaum, "A Heuristic Program for Solving a Scientific Inference
Problem: Summary of Motivation and Implementation", Stanford
Artificial Intelligence Project Memo No. 104, November, 1969.
(9) G. Schroll, A. M. Duffield, C. Djerassi, B. G. Buchanan, G. L.
Sutherland, E. A. Feigenbaum, and J. Lederberg, "Applications of
Artificial Intelligence for Chemical Inference III. Aliphatic Ethers
Diagnosed by Their Low Resolution Mass Spectra and NMR Data".
Journal of the American Chemical Society, 91:26 (December 17, 1969).
(10) A. Buchs, A. M. Duffield, G. Schroll, C. Djerassi, A. B. Delfino,
B. G. Buchanan, G. L. Sutherland, E. A. Feigenbaum, and J. Lederberg,
"Applications of Artificial Intelligence for Chemical Inference IV.
Saturated Amines Diagnosed by Their Low Resolution Mass Spectra and
Nuclear Magnetic Resonance Spectra", Journal of the American Chemical
Society, 92 (1970), 6831.
(11) Y. M. Sheikh, A. Buchs, A. B. Delfino, G. Schroll, A. M. Duffield,
C. Djerassi, B. G. Buchanan, G. L. Sutherland, E. A. Feigenbaum and
J. Lederberg, "Applications of Artificial Intelligence for Chemical
Inference V. An Approach to the Computer Generation of Cyclic
Structures. Differentiation Between All the Possible Isomeric
Ketones of Composition C6H100", Organic Mass Spectrometry, 4 (1970),
493.
(12) A. Buchs, A. B. Delfino, A. M. Duffield, C. Djerassi,
B. G. Buchanan, E. A. Feigenbaum and J. Lederberg, "Applications of
Artificial Intelligence for Chemical Inference VI. Approach to a
General Method of Interpreting Low Resolution Mass Spectra with a
Computer", Chem. Acta Helvetica, 53 (1970), 1394.
(13) E. A. Feigenbaum, B. G. Buchanan, and J. Lederberg, "On Generality
and Problem Solving: A Case Study Using the DENDRAL Program". In
Machine Intelligence 6 (B. Meltzer and D. Michie, eds.) Edinburgh
University Press (1971). (Also Stanford Artificial Intelligence
Project Memo No. 131.)
(14) A. Buchs, A. B. Delfino, C. Djerassi, A. M. Duffield,
B. G. Buchanan, E. A. Feigenbaum, J. Lederberg, G. Schroll, and
G. L. Sutherland, "The Application of Artificial Intelligence in the
Interpretation of Low-Resolution Mass Spectra", Advances in Mass
Spectrometry, 5, 314.
(15) B. G. Buchanan, E. A. Feigenbaum, and J. Lederberg, "A Heuristic
Programming Study of Theory Formation in Science." In proceedings of
the Second International Joint Conference on Artificial Intelligence,
Imperial College, London (September, 1971). (Also Stanford Artificial
Intelligence Project Memo No. 145.)
(16) D. H. Smith, B. G. Buchanan, R. S. Engelmore, A. M. Duffield,
A. Yeo, E. A. Feigenbaum, J. Lederberg, and C. Djerassi, "Applications
of Artificial Intelligence for Chemical Inference VIII. An Approach
to the Computer Interpretation of the High Resolution Mass Spectra of
Complex Molecules. Structure Elucidation of Estrogenic Steroids",
Journal of the American Chemical Society, 94 (1972), 5962-5971.
(17) B. G. Buchanan, E. A. Feigenbaum, and N. S. Sridharan, "Heuristic
Theory Formation: Data Interpretation and Rule Formation". In
Machine Intelligence 7, Edinburgh University Press (1973).
Information Processing Model Building in Psychology
(1) "Information Processing" in Readiness to Remember: Proceedings
of the Third Conference on Remembering, Learning, and Forgetting,
Gordon and Breach (1972).
(2) "Information Processing and Memory," Proceedings of the Fifth
Berkeley Symposium on Mathematical Statistics and Probability,
Volume 4 (Biology and Health), University of California Press, 1967.
Reprinted in Norman, D. (ed.) Models for Memory, Academic Press (1971).
IFIP CoN&rec∪$s
λ(!)$≠;4z∩Y⊂9x2Yqt≥⊂λ⊃ y:~s4qtXv⊂$w≥2v64Yrw1rN⊂⊂*4→vryP~w⊂:4→P)rq[w2εE⊃2qpr→W⊃⊂⊂∩w⊂#4[0v⊂)]x862[rw:⊂≥7P(9≠qrrr~w3yP≠s⊂:4→P$c$T⊂≠≤⊂⊂ww3y→yyVεB"r4w_:y3t ⊂ zs]yz⊗⊂ \[≤↔λ⊂ v9[P0{0Zv0q6→P0yP⊂W$W⊂∀97u2Xz⊂+w\5tw3H(0x2\εE'7K⊂≠≠Vλ zsz\z⊂_\M≤↔εEβE∀→∀H)2x7\:⊂7wλ(0w2[⊂7w⊂≥42P&Yqt0w~⎇0z4[w⊂7sλ!y2p]4{2P∀97qr\yryWλ⊂$wεB%pv2[4qt⊗λ+W⊂∀→r↔∀Vλ(97qYrr4w→yP7sλ$c$hλ!ww3\2yyP
~V⊂+≠v:vrH→⊗⊂)\0y:0[εE!7[uyV⊂ \[≠⊗λ88↔⊂
__⊗[ _WεEβEεE)]0w37\2⊂!w[x:z0]4ww⊂⊂rw:2\εEεEλ!wvx≥z2y9H0z⊂)]0w37\2⊗⊃⊂
;tz4λ'↔⊂'~rv9r[∀W⊂⊂∩w⊂)z_w37y→⊂ w7≥pvεE⊃4w0w_tpv⊂∀2x7y≥⊂)zv[py<Vλ)z0w→7y2⊂∃w4{2\9tz<K⊂'7{→vq2yλ_\[≠KεE)2\94w:→r⊂4wλ$a&P⊂wvx:]4w3P∀2x7y≥⊗⊂+7[↔⊂$k ⊂'7Wλ→P∀&X|V⊂_N[≤∀Vλ_ZVXN↔εEεBεE'z~2yεEβE⊃)w]4rz⊂⊂wvx:]2y⊂)Xtrw1YV⊂)2]4ytz→r↔⊃⊂λ(97qYrr4w→yP7sλ:42P _:4⊂⊂afFE∪0z4w[0v⊂![w32y→w1rVλ zsz\z⊗⊂_N[~V⊂≤8↔⊂→ ~VY→
↔εEεBεE(0\2y9Vλ(92VL\[~]βEεE∀ TP⊃&Yvwy<H&rqt_w4yv\P0w2λ"h fH*42w\<]⊂⊂∪ww7v≠szrP_w2⊂$[:2y1Z0w3rCE0z⊂≥42P#~y9z⊂⊂ww32\2w1rH7w⊂)→vrvq→y4w3K⊂&2p\74w3H0w2⊂⊃7y3r]:4w3K⊃εE8≥q64yZ2r⊂4[⊂%tvX62V⊂⊃↔⊂∀2Y↔∀V⊂∃42P [0z7v↑P7s⊂∪rvwy≡V⊂)qZrw1rH0w2εB!2t0]4wy⊂⊂7wuyK⊂(0v≠P v:≠V⊂_\M~WεEβE∀→∀H⊃)z:Y4ryP~w⊂$w→7y6p]4ww⊂∀97qr\ytw3H*42w\<]⊂⊂∀tvtv_y4z<H0w2εB#0vt[4py4]<P4wλ+2y1_v⊂&2Xy74w→V⊃⊂*~2P) S"⊂!w\8↔⊂)∪VY\[NV⊂)p[:0FE∪ww4qXV⊂!p[4s↔⊗λ#2q9≥py<Vλ_\[~ ⊂⊂ v≤wP0x≤2py2Y⊂0yVλ⊃ w⊂∩w37y≠pz4w[⊗FE(≤7qry\tw3P∃42wy≡P7s⊂∀wvrP⊃s32q]9P7sλ)tvt[0y4z≡V⊂#0[tv4p\4⎇0z~ww⊗⊂_w2εE∪rpw4[3s:v≠2yyP~w⊂+2\10v⊂⊂2t0{~wy⊗⊂∃7v↔⊂ V⊂'7K⊂~P∀∪qz7q→y⊂_\M~∀T;Zz4εE∩↔⊂ Wλ)tvw[∀WεEβE∀→TH⊃!wv\:z2yλ)tvz[0z4w[⊂7s⊂∩:vpwλ!2t0]4wy⊗λ⊂4w⊂∀97qrYr4w3\P7s⊂≥42FE \[→P∪tr;r\z⊂$:[pw⊂#_qz7y≤P)wqZrz<P∀|vx7\tzvP≠w⊂$:[pw⊂#_qz7y≤P0w2βE!wv\:z2y≤WεEεB∀~∀Pλ"|82\4vrw≥9P;t]4⊂:4→P"h SP)tv]v0z4[w⊂7sλ+2y1_v⊂&2Xy74w→V⊃⊂4[εE)|[x7yt]vP7wλ)tvz[0z4w[⊂&wr→v9]⊂λ&rz4≠r7v7Y|P0w→⊂ x8≠4qpz~ww9P≥7P:4→FE!2Z0{4w\0v⊂)Xtrw1YyW⊂⊂
W⊂$≠sspz≥⊂0w2λ#↔⊂"K⊂!0v→2y9z≠w⊗⊂2Y9W∀VβE)wz]4⊗kr\z2y7λ(:q6~yt4w→P!wv\0w<Vλ!tw1Zw70z~V⊂'t~wV⊂_N[→P∀≥tz4εB$↔⊂ K⊂)tv[w∀WεBεE∀~JP⊃!9~rs⊂'≠z2yP≠w⊂:4→P"h SP*42[y<P7Y⊂+2y_0v⊂&→py74[3V⊃⊂∃2y10[εE!2Z0{4w\⊂0w2λ&2py≠4w3VKh97q≠2vyP_w2⊂(≤7qry\ryV⊂∪qcy0]Vd4v≠⊗⊂∀![s2yεB0w2⊂∪zysy_{2V⊂→r9W∀H∀;tz~⊂$↔⊂⊂W⊂)t[ww∀WβEεE∀
∀P⊃ \:4s4Xtpv⊂∩w:2v≠4srw_rV⊃⊂ \[_⊗L\[→⊂∀2x7y≥⊂:7P≥42P_N[→P![w3y2\yFE7Y⊂:42H$w:2\70z4[w0v⊂∀qtrw≥4s4qH)0r4[P*w4[w↔⊂⊂⊂v9wP~w⊂$i⊃P*90[9pqz~ww9FB7w⊂$[37y6Xz4wwλ*42w\<V⊂'Xz7q2\⊂_\[ WεEεB∀≠TPλ P*4→wy<P≠s⊂:4→P)ry~pv⊂(≠ytz4[w⊂"s→2qz⊗λ⊂!94]4yt⊂∩7zy7_v⊂7sβE(9|Xt7v7Y|V⊂~LP∀ zYzyz⊂ \[→∀K⊂→X≠KYY_⊂
;tz4λ$↔⊂ K⊂)tv[w∀WεBεE∀≤
P⊃ wλ"|82\4vrw≥0v⊂![zy9rH4w⊂)Zvzv0]4ww⊂≠s⊂!wYw4z4]2P(9≠qryyYyV⊃εB!2t0]4wy0[⊂)qtYw1rVλ≠P∀ \94v⊂ \[→∀KεEεE
≤TP⊃⊃rw2y_v4⎇0]4ww⊂≠s⊂0wλ"v2vYw:0y≡P(2y_rt{4[3P0w→⊂&rv[y4⎇4[3FE&Xqt4w→V⊃⊂*~2P) S"⊂!w\8↔⊂(_x2y⊂∀⊗Y~ZMV⊂&p\1t⊂_N[→↔⊂λ v9wH4w⊂(≤7qrrY4w3yCE7s⊂≥42P)Yqww2λ$w:2\70z4[w0v⊂⊂ww3y→yyP7[⊂$w3≠y6pz~ww⊂(≤7qry\tw3VβE&zw~qt⊗⊂⊃ry6p[<V⊂_N[→⊂∀≥tz4⊂∩↔⊂ Wλ)tvw[∀WεEβE∀_X
P⊃)w]4rz⊂⊂|q2y≠2z4q\P0w2λ!wvx≥z2y⊂∀qtrw_rV⊂_N[_⊗⊃λ!wvv]w4qp]4ww9CE7s⊂≥42P \ywqtXz4wwλ37y⊂⊂wvx:]4w3P∪pqt4[2y<Vλ"2qr[q2y⊂ \[_Wλ⊂ v9[P4wεB*90w≤pqz4[w9P7Y⊂:42H$i"P∀97s2\ytww_v⊂#y≠zx⊂7[⊂"v2Xz97w~qP!w[x:z2\9VεE⊃2qrvX2y⊂_N[_WεBεE∀_LTP⊃#≠y3rz≥4w3P~w⊂0wλ yywXtpz4[w⊂&r[wy<Vλ⊂(92\94w:≤P7s⊂≥42P_N[_FE∪0z4w[0v⊂![w32y→w1rP≠s⊂:4→P yy[qtpz~ww⊂3≠y⊂!w[x:z4[3P&pXt4w2\<V⊂_MFE∀)Yx:2vX2y⊂_N[_TP
;tz4λ$↔⊂ K⊂)tv[w∀WεBεE∀_L∀P⊃*~2P"4\z4w1]4{2w→yyP7Y⊂)z4[zv4Vλ⊂(9|Xt7v7Ytqpvλ)2{4Y{V⊂≠∞εE∀%≥v<P_N[_TVλ→≤~VL≤≤⊂∀≥tz4⊂∩↔⊂ Wλ)tvw[∀WεEβE∀_YJP⊃(2\37y6Xw1rP≠s⊂0P∀2pr4[3P*0\uP1<H0w⊂"[2vrw≥0y<P∀2y1rZ{2y⊂_w2εE∪rvwy~⎇2y⊗λ⊂*42H) g"λ!wy8 ⊂(0x→y⊂(⊗L→Z\⊗λ%:v<H_\[_K⊂⊂ v≤wP4wβE!2t_{4wy_v⊂)qZrw1rK⊂%0w≥py<P \[→P
;tz4λ$↔⊂ K⊂)tv[w∀WεBεE∀_M∀P⊃*~2P)t[zv0z~ww⊂7Y⊂+2y_0v⊂&→py74[3P!2Z0{4w\⊗⊃⊂(≤7qrrY4w3yH7sεE≥42P_N[_P+Yyz2y≠⊂%7t[:⊂!w[x:z2\⊂!ww→2y2w_rV⊂_NP∀&p↑P_\[ TV⊂_NXVY→∞WεEεB∀_ZTH⊃&0z→w:⊂&[z4{2\V⊂#y≠zx⊂"~yqzy\tww⊂_w2⊂:~2P∪h]pv4z≡SP7sλ#y7z\εE"2Xtytw[9P4wλ0P'7[7q52Xz4{2H"2qt\tww⊂∀97q6→vV⊃⊂∀wqtw[rz9<K⊂→→P
&py1ZεE_\M_∀V⊂
X⊗Z[H∀;tz~⊂%↔⊂∪py1t
WεEεB∀_[∀H⊃&wr→v9P4[⊂0P!→t0{4[y0v⊂∃42wy≡P7s⊂≥42P#~y6V⊃λ!2t0]4wy0[εE)qZrw1rK⊂≠Y⊂
x94[⊗⊂_\M\TV⊂
\[VZN\P∀;Zz4⊂) ⊂!|r\:⊂0w→⊂%↔⊂∪py1t
WεEεBεE)"Tb`i!R⊂)jh∀'i*⊂⊂g"⊂(⊃g"$g⊃P h(∪$a`j∩gg)]λ⊂"r;Xy2⊂ K⊂#2tYrw10]vFEεB_W⊂⊂⊂srw1↑]⊂⊂ Y;0w1Yr⊂)2\rpy1Z⊂(97Z2qz9H srw_|FE⊂⊂ww:9_qz⊂'≥vq2y∞⊂⊂" R!VXZK[YVaKX~→ZCE⊂*4]62P7Y⊂!ww≥90qz∞⊂⊂$2]y4yz~qP(9≠sy0v[tw3P∀97u2XzεE⊂∀2y4wY⊂7s⊂⊂ww:9_qz≥⊂λ%:v<H_\[ZH:7P%≥w2P_N[[FEλ w7:Xv⊂!:Y3rz⊂∪2{2v∞⊂⊂∩→ _⊗__ εE⊂#≤0qz4[w⊂7sλ:4vrH1wvvZz:2r∞⊂⊂~_ P qpY2vtqH<rpy∞P≤X∩H)zvvYyεEεB→↔⊂⊂⊂srw1↑]⊂⊂'_z4ww_v⊂$w≤z4z:]2yP7Y⊂$2p[:4εEλ#y0w≥⊂':vX2y≥⊂λ))⊗X ≠_Y⊗L~`XFB⊂*4z≠2P7sλ#y0w≥≥⊂⊂)→ywzy_rP)2[0z2rλ)2yrXy1t≥λ⊂!wv\:z2y≤P0w2λ!t2vZyz9<CE⊂(2\4wr⊂≠s⊂#y_w:≥⊂λ&p|P V⊂_\MZ⊗⊂:≠P x9~v⊂→X ⊂_\[MFE⊂ [7:pvλ!:r3Yz⊂&2]2v≥⊂λ∩→≠[ _\[P
24y2Xz⊂1w\z9TFB∧DP⊂λ⊂⊂⊂⊂ →[≤⊗ ≤Y⊂∀≥7z0vλ0{py→∀FE⊂⊃90qz~ww⊂7Y⊂:4vYP1wv[tz:2Y≥⊂⊂_L∩FEεB→W⊂⊂⊂srw1↑]⊂⊂'_z4ww_v⊂)qZrw1rH#7zw→0z4w[εE⊂#\0w:⊂∪:vq2\≥⊂⊂"⊂i⊂≠Z Y→Z≠ FE⊂*~z62P≠s⊂#y_w:≥⊂λ zz7[pz4w[⊂7s⊂∀qtrw≥4s4qH$w32\2w1rNεE∧DH⊂$2z\4yz4XP!wv\:z4w→P x8≠4rr⊂≥7P(9≠z2twλ!y<y]0v67Yy0x4≡FE⊂(→y4wrλ7s⊂#\0w:≥λ⊂#2q≤:py<H_\[ZH:7P%_w:py≡P_\[MU[εEλ w7:Xv⊂!:Y3rz⊂∪2{2v∞⊂⊂∩≠ ⊗≤→~CE⊂#9_qz4w[⊂7s⊂≥4vrP_wvvt]:2r≥λ⊂→_∩CEεE*~2y2P_y2P7≠P82w→4w3P_x864Xpz4w[9P37\⊂⊂;t~qt⊂⊂∀97s2\ywy⊂λ#2tsYw10z[P⊂40\FE1w[vtz:→r⊂44\P:4vYWεE⊂λεEβ!4ws\0x4<H7s⊂%≠t7⊂&Xapy:~<FEεB↔12sZw⊂77Z:yz≥H4w22[:⊂_⊗
≥FE!∪i'≥⊂λ)rx:→vq2yλ~⊗⊂_NY≠P4[⊂!7y]7w⊗⊂∪pyypXt:yr]:9FEβE"b*P`j$gS≥εE! )W⊂⊂
&pz4→vpz4XyTP!Xv4s7\74pP∩w9z4]:z2P≠s⊂*2Xt77v≠s|V⊂ \Z≤↔βE(4↔⊃↔⊂∀&Xz42vXz4qyJP(94[1rz7[⊂*w4]2y9t]<V⊂_NZXWεBεE$'S'i)P⊂g"⊂)Sadbj∩bi]εB vry~qpw⊂∪pz42[pz4qXv⊂)wXtrz<KεE y\wqtp]4ww⊂→7y⊂![vx:z~w3P&Xqt4w→y<VεB)tsvXP,4VβE)v7Xw⊂#2[67{P~w⊂(4≡ytqp[⊂)qtRence (1957-59),
IEEE,
ACM National Lecturer (1961),
A.M. Turing Award from Association for Computing Machinery (1971).
PROFESSIONAL EXPERIENCE:
Proctor Fellow, Princeton University (1950-51),
Higgins Research Instructor in Mathematics, Princeton University (1951-53),
Acting Assistant Professor of Mathematics, Stanford University (1953-55),
Assistant Professor of Mathematics, Dartmouth College (1955-58),
Assistant Professor of Communication Science, M.I.T. (1958-61),
Associate Professor of Communication Science, M.I.T. (1961-62),
Professor of Computer Science Stanford University (1962 - present).
PROFESSIONAL RESPONSIBILITIES AND SCIENTIFIC INTERESTS:
With Marvin Minsky organized and directed the Artificial
Intelligence Project at M.I.T.
Organized and directs Stanford Artificial Intelligence Project
Developed the LISP programming system for computing with
symbolic expressions, participated in the development
of the ALGOL 58 and the ALGOL 60 languages.
Present scientific work is in the fields of Artificial
Intelligence, Computation with Symbolic Expressions,
Mathematical Theory of Computation, Time-Sharing computer
systems.
Director LOTS (Low-Overhead Time-Sharing) computer center
for instructional use and unsponsored research. (1976-1979)
PUBLICATIONS:
.count ref inline; at "⊗" ⊂next ref; ("["&ref&"] ");⊃
. at "<" ⊂"%2"⊃; at ">" ⊂"%1"⊃;
⊗"Towards a Mathematical Theory of Computation", in
<Proc. IFIP Congress 62>, North-Holland, Amsterdam, 1963.
⊗"A Basis for a Mathematical Theory of Computation",
in P. Biaffort and D. Hershberg (eds.), <Computer Programming and
Formal Systems>, North-Holland, Amsterdam, 1963.
⊗(with S. Boilen, E. Fredkin, J.C.R. Licklider)
"A Time-Sharing Debugging System for a Small Computer", <Proc.
AFIPS Conf.> (SJCC), Vol. 23, 1963.
⊗(with F. Corbato, M. Daggett) "The Linking
Segment Subprogram Language and Linking Loader Programming
Languages", <Comm. ACM>, July 1963.
⊗"Problems in the Theory of Computation", <Proc. IFIP
Congress 1965>.
⊗"Time-Sharing Computer Systems", in W. Orr (ed.),
<Conversational Computers>, Wiley, 1966.
⊗"A Formal Description of a Subset of Algol", in T.
Steele (ed.), <Formal Language Description Languages for Computer
Programming>, North-Holland, Amsterdam, 1966.
⊗"Information", <Scientific American>, September
1966.
⊗"Computer Control of a Hand and Eye", in <Proc.
Third All-Union Conference on Automatic Control (Technical
Cybernetics)>, Nauka, Moscow, 1967 (Russian).
⊗(with D. Brian, G. Feldman, and J. Allen) "THOR -- A
Display Based Time-Sharing System", <Proc. AFIPS Conf.> (FJCC), Vol.
30, Thompson, Washington, D.C., 1967.
⊗(with James Painter) "Correctness of a Compiler for
Arithmetic Expressions", Amer. Math. Soc., <Proc. Symposia in
Applied Math., Math. Aspects of Computer Science>, New York, 1967.
⊗"Programs with Common Sense", in Marvin Minsky
(ed.), <Semantic Information Processing>, MIT Press, Cambridge, 1968.
⊗(with Lester Earnest, D. Raj. Reddy, Pierre Vicens) "A
Computer with Hands, Eyes, and Ears", <Proc. AFIPS Conf.> (FJCC),
1968.
⊗(with Patrick Hayes) "Some Philosophical Problems from the
Standpoint of Artificial Intelligence", in Donald Michie (ed.),
<Machine Intelligence 4>, American Elsevier, New York, 1969.
⊗"The Home Information Terminal", <Man and Computer,
Proc. Int. Conf., Bordeaux, 1970>, S. Karger, New York, 1972.
.end
.app Current Support
Prof. McCarthy is currently being supported by the Advanced Research
Projects Agency under Contract MDA903-76-C-0206 (1 January 1976 - 30 June
1977, $916,000/year) and by the National Science Foundation for research
in Verification Oriented Programming under Grant Number MCS76-00327 (June
1976 - June 1978, $160,000/year). Prof. McCarthy also oversees (but recieves
no personal support from) an NSF
research contract on Exploratory Study of Computer Integrated Assembly
Systems under Contract NSF APR74-01390 A04 (April 1976 - April 1978,
$225,000/year).
.cb Pending Applicatiions
Prof. McCarthy has recently submitted two proposals (involving no personal
support) to the National Science Foundation.
"A Unified Approach to Automatic Programming" (MCS-7683655) would
run two years at a level of $96,000/year, while
"Verification of Operating Systems written in Concurrent Pascal"
would run two years at a level of $37,000/year.
.app Relevant Experience
.app Facilities
. << budget >>
.onecol
.app Budget
1. 64 terminals at α$1100
2. 1 man year of engineering at α$25,000
3. PDP-11/45 at
4. Xerox uuu printer at
5. Wiring etc. →α$5000
6. Communications and interfaces.
.skip 4
The source file of this document is CSDDIS.PRO[F76,JMC]@SU-AI
.back